58.18/58.54	unsat
