64.71/64.93	unsat
