1.49/3.50	unsat
