Updated the code - finding the coloring without a red/blue triangle is hard