10.88/12.20	unsat
