64.82/65.69	unsat
