71.37/71.50	unsat
