9.27/10.74	unsat
