Teste de mudança do path do minisat