9.57/10.35	unsat
