Dodaj bruteforce SAT, ki ga dedujejo vsi razredi