Reduce rounds, use Groebner basis.