WCh-8 CARMEN L=2580 SAT