WCh-8/1 CARMEN L=2000 SAT