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