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