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