p86 graph coloring via welsh-powell