9.87/10.35	unsat
