Preverba povezanosti grafa na SAT