Gruppe L Project 3 CDCL