TSTP Solution File: COM106_5 by SInE---0.4