WCh-7/1 L=2000 SAT