58.27/59.82	unsat
