lifted SMT approach is completed is I got some good result!