1.39/2.04	unsat
