TSTP Solution File: SWV570-1.049 by SInE---0.4