48.70/58.10	unsat
