9.68/12.20	unsat
