49.70/51.11	unsat
