WCh-8 CARMEN L=2000 SAT