MCT2SMT&R参数错误MCT2SMT