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