58.67/61.18	unsat
