如下
⌊x4⌋+⌊b−x4⌋≥a \lfloor \frac{x}{4} \rfloor + \lfloor \frac{b - x}{4} \rfloor \ge a⌊4x⌋+⌊4b−x⌋≥a
其中 x,yx,yx,y 是未知量，a,ba,ba,b 是已知量
