s.t 是subject to使得...满足...

如题，可以用来写数学建模中的公式