62.18/62.42	unsat
