latest #cdcl hot topics | Ecency