generating file of SAT problem