An O(n0.4)-approximation algorithm for 3-coloring | Synapse