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