59.19/62.76	unsat
