Compilare: user.cpp: In function ‘void tsat::dfs(int)’: user.cpp:27: warning: comparison between signed and unsigned integer expressions user.cpp: In function ‘void tsat::dfs_t(int)’: user.cpp:37: warning: comparison between signed and unsigned integer expressions user.cpp: In function ‘int main()’: user.cpp:66: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result user.cpp:67: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result user.cpp:68: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result user.cpp:69: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result user.cpp: In function ‘int tsat::two_sat()’: user.cpp:51: warning: control reaches end of non-void function