unfinished ver, dont know how to deal with solve() and ida_star() QQ