This is an instantiation of SAT problem in C and JAVA (this is not a SAT solver, we just instantiate the problem)