Hot: cdcl