58.18/61.42	unsat
