LCP solver now has a fallback strategy