TSTP Solution File: COM097_5 by SInE---0.4