./fnam custsat.cpp
./fnam survey.cpp
./fnam survey.h
c++ -O2 -o custsat custsat.cpp

