Bruteforce gibts bei SAT nicht! Guck mal nach, ob du alles richtig eingestellt hast, oder spiele dir fertige Settings ein!