61.67/64.85	unsat
