TSTP Solution File: COM092_5 by SInE---0.4