>>989
既知数込みで整理した数だな