51.70/51.90	unsat
