Update statSMT_sq.cpp
Merge pull request #5 from rachelwang/master

Update statSMT_sq.cpp