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