{"p":"sns","op":"reg","name":"O(*)S_PS[LDS.unisat"}