TSTP Solution File: COM197^1 by SInE---0.4