56.88/62.43	unsat
