1.40/2.04	unsat
