Weekly-1.16-1.22_CNF (no SLK+NLK)