Added file that finds 4-colouring of 17 vertex complete graph without any monochromatic triangles.