0.47/0.50	unsat
