9.27/10.89	unsat
