59.07/63.85	unsat
