TSTP Solution File: SWW819_1 by SInE---0.4