Кстати, я тоже могу поучаствовать. Но я буду решать
точно (т.е. неприближенно) с помощью базисов Грёбнера.
И просьба приводить систему сразу в читаемом компьютером виде (через тэг [ code ]), в частности, чтобы имена переменных его не шокировали (и их не пришлось переименовывать вручную), со знаками умножения * и т.п.