nek se nadje
Pocetno stanje = 10 klauzula iz skupa premisa i 5 klauzula negiranog cilja
Iduca stanja se dobiju primjenom rezolucijskog pravila na par klauzula pa iz pocetnog stanja nastaje 60 novih stanja (10 * 5 + 5C2).
Svako novo stanje = 10 klauzula iz skupa premisa, 5 klauzula negiranog cilja i jedne novoizvedene klazule (10 u skupu premisa, 6 u SOS).
Od svakoga stanja nastaje 74 nova -> 10 * 6 + 6C2 - 1 = 74 (-1 jer je jedan par vec razrijesen u proslom koraku)
(5C2 = 5 povrh 2)
