대전에는 kaist(이/가) 있다