その問題を解いたとはボブは賢い。
その問題を解決したとはボブは頭がよい。