64.71/64.83	unsat
