9&SGI&
5&X&0&0&0
5&Y&0&0&0
5&Z&0&0&1
5&RG&0&0&1&p4>=0
5&RF&0&0&1&p5>=0;p5>=p4
5&K&0&0&1
5&j&0&0&1&p7>=1
5&USF&0&0&1
5&USP&0&0&1 