TSTP Solution File: COM122_5 by SInE---0.4