ちなみにウソだと思うなら2007 東工大 AO入試で検索してみるといい。
山ほど5+10/√3出てくるから。
これだけ時間かけてまだダメならもう無理でしょう。