1.39/3.00	unsat
