Create statSMT_para.cpp