Update statSMT_sq.cpp