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