9.61/10.66	unsat
