Exponential Time Approximation for Coloring 3-Colorable Graphs | Synapse