9&SCA&P
5&X&0&0&0
5&Y&0&0&0
5&Z&0&0&0
5&I&0&0&1&p4>=0
5&K&0&0&1&p5<p3
5&R&0&0&1&p6>0
5&d&0&0&1
5&USF&0&0&1&p8>=0
5&USP&0&0&1&p8>=0    