64.58/64.69	unsat
