g++ SAT0W_remake.cc -O3 -o SAT0W_remake
#g++ SAT0W_remake.cc -fprofile-arcs -ftest-coverage -o SAT0W_remake