1.39/3.04	unsat
