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