Show that 2-color-australia has no solutions.