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