+3SAT problem generator