TSTP Solution File: SWV609_5 by SInE---0.4