WCh-7/1 L=3060 SAT