Compilare: user.cpp: In member function ‘int SAT::solve()’: user.cpp:109:39: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] for (int i=0; i<Clauze_2.size(); i++) ^ user.cpp: In function ‘int main()’: user.cpp:127:35: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result [-Wunused-result] freopen ("aladdin.in", "r", stdin); ^ user.cpp:128:37: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result [-Wunused-result] freopen ("aladdin.out", "w", stdout); ^ user.cpp:129:24: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] scanf ("%d %d", &N, &M); ^ user.cpp:133:31: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result] scanf ("%d", &S[i][j]); ^