solve(expr1[1] and expr1[2] and expr1[3],l) 에서는 l=m=n=0 이라는 오답이 나오게 되었는데요. 
조건이 나머지 3가지 경우(2차식 포함)와 달라서 (근사) 해를 찾는 방식이 다르기 때문에, 제약식 조건을 추가로 주더라도 근사해가 아닌 false 를 반환하고 있습니다. 

이런 경우에는 solve(f2(4,0,0,1,2,-1,4.317,l,m,n),l,m,n) 에서 소숫점 자릿수를 조금 더 정밀하게 늘려주는 것이 도움이 될 것 같기도... 합니다. (도움이 안될 수도...)