sat: zadanie sutaze o sat solver
pridana sutaz o sat solver