9.66/10.48	unsat
