9.69/10.35	unsat
