add jtf solver