Text this: Arc-Consistency is Hard to Approximate in Parallel C.T.I. Technical Report TR 94.09.48