WCh-7/1 L=2580 SAT