TSTP Solution File: COM071_5 by SInE---0.4