+ reading dls from SAT set