1.49/2.20	unsat
