1.48/1.50	unsat
