50.47/51.67	unsat
