TSTP Solution File: SWV424-1.400 by SInE---0.4