0.40/0.50	unsat
