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