CDCL discussion