7.47/10.88	unsat
