Brute force solving of multivariate polynoials mod p.