55.90/58.24	unsat
