1.39/3.50	unsat
