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