1.85/7.20	unsat
