58.15/61.02	unsat
