9.27/9.34	unsat
