TSTP Solution File: COL044-9 by SInE---0.4