除去其他讨论区说过的不存在无解的情况，经测试数据中的 $a$ 和 $b$ 似乎都是一样的长度。
错解
可以看到对 $b$ 写错成了

for (int i = 0; i < a.size(); i++) {
	B *= 10, B += b[i] - '0', B %= mod;
}