7.28/10.48	unsat
