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