49.70/51.63	unsat
