Polynomials SAT Part 1