LIS by greedy
high precision
normal dp