{"p":"sns","op":"reg","name":"unisat<3.unisat"}