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