TSTP Solution File: COM010-1 by SInE---0.4