Lucky-SAT

input/code.cpp: In function 'int main()':
input/code.cpp:28:42: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
         for(int i = 0; i < relevant.size(); i++){
                                          ^

#include <iostream>
#include <vector>
#include <set>

using namespace std;

int main(){
    srand(2349082);
    ios_base::sync_with_stdio(0);
    cin.tie(0);
    int nClauses, nVariables;
    cin >> nClauses >> nVariables;
    vector<vector<int> > instance(nClauses, vector<int>(7));
    set<int> relevantset;
    for(int i = 0; i < nClauses; i++){
        for(int j = 0; j < 7; j++){
            cin >> instance[i][j];
            relevantset.insert(abs(instance[i][j]) - 1);
        }
    }
    
    vector<int> relevant(relevantset.begin(), relevantset.end());
    
    vector<bool> assignment(nVariables);

    for(int iter = 0; iter < 300; iter++){
        
        for(int i = 0; i < relevant.size(); i++){
            assignment[relevant[i]] = rand() % 2;
        }
        
        bool good = true;
        for(int clause = 0; clause < nClauses; clause++){
            bool asd = false;
            for(int i = 0; i < 7; i++){
                int variable = instance[clause][i];
                if((variable > 0 && assignment[abs(variable)-1] == true) 
                    || (variable < 0 && assignment[abs(variable)-1] == false))
                    asd = true;
            }
            if (!asd) good = false;
        }
        
        if(!good) continue;
        
        // Success
        cout << "SAT" << endl;
        for(int i = 0; i < nVariables; i++){
            cout << assignment[i];
        }
        cout << endl;
        return 0;
    }
    
    cout << "UNSAT" << endl;
}

Test 1

Verdict: ACCEPTED

Test 2

Verdict: ACCEPTED

Test 3

Verdict: ACCEPTED

Test 4

Verdict: ACCEPTED

Test 5

Verdict: ACCEPTED

Test 6

Verdict: ACCEPTED

Test 7

Verdict: ACCEPTED

Test 8

Verdict: ACCEPTED

Test 9

Verdict: ACCEPTED

Test 10

Verdict: ACCEPTED

Test 11

Verdict: ACCEPTED

Test 12

Verdict: ACCEPTED

Test 13

Verdict: ACCEPTED

Test 14

Verdict: ACCEPTED

Test 15

Verdict: ACCEPTED

Test 16

Verdict: ACCEPTED

Test 17

Verdict: ACCEPTED

Test 18

Verdict: ACCEPTED

Test 19

Verdict: ACCEPTED

Test 20

Verdict: ACCEPTED

Test 21

Verdict: ACCEPTED

Test 22

Verdict: ACCEPTED

Test 23

Verdict: ACCEPTED

Test 24

Verdict: ACCEPTED

Test 25

Verdict: ACCEPTED

Test 26

Verdict: ACCEPTED

Test 27

Verdict: ACCEPTED

Test 28

Verdict: ACCEPTED

Test 29

Verdict: ACCEPTED

Test 30

Verdict: ACCEPTED

Test 31

Verdict: ACCEPTED