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