>>94 が分っていることも、>>88 が分っていないこともほとんど明らか。