TSTP Solution File: CAT004-1 by SInE---0.4