Compilare: main.cpp: In constructor 'Sat::Sat(int)': main.cpp:33:15: warning: 'Sat::vis' will be initialized after [-Wreorder] vector<bool> vis; ^~~ main.cpp:32:24: warning: 'std::vector<int> Sat::compId' [-Wreorder] vector<int> ord, val, compId; ^~~~~~ main.cpp:36:2: warning: when initialized here [-Wreorder] Sat(int n) : n(2 * n), vis(2 * n), compId(2 * n), adj(2 * n), adjt(2 * n) {} ^~~ main.cpp: In function 'int main()': main.cpp:81:32: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)', declared with attribute warn_unused_result [-Wunused-result] freopen("2sat.in", "r", stdin); ^ main.cpp:82:34: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)', declared with attribute warn_unused_result [-Wunused-result] freopen("2sat.out", "w", stdout); ^