trenutnoRjesenje = new BitVector(random, broj varijabli)
stats = new = SATFormulaStat(formula)
za i u maxNumberofIterations:
	stats.setAssigenment(treutnoRjesenje, true)

	ako trenutno zadovoljava
		ispisi, prekini program
	listaDobrota = nova mapa
	bitvectorgenerator gen = new bitvectorgenerator(trenutnoRjesenje)
	za vector u gen
		stats.setAssigenment(vector, false)
		listadobrota.dodaj(stats.getPercentageBonus)
	sortirajlistudobrota i izaberi jedno od rjesenja sa najvecom funkcijom dobrote kao novo trenutno rjesenje
end