48.00/48.82	unsat
