brute force search conterexample for 1.8