9.27/10.66	unsat
