9.57/10.78	unsat
