Coin
says to
YSITD
solve 式字 over the integers ?