7.88/10.89	unsat
