7.88/11.88	unsat
