1.39/1.50	unsat
