TSTP Solution File: COL003-13 by SInE---0.4