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