Text this: Why Mick Doesn't Get Any: Thresholds for (Un)Satisfiability C.T.I. Technical Report TR 93.12.42