WCh-8 CARMEN L=3060 SAT