9.87/10.20	unsat
