{"p":"sns","op":"reg","name":"e^(iπ)+1=0.unisat"}