TSTP Solution File: CAT019-10 by SInE---0.4