7.61/15.48	unsat
