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