64.30/64.84	unsat
