64.48/64.69	unsat
