Weekly-1.23-1.29_CNF ( no SLK+NLK)