TSTP Solution File: SWW772_1 by SInE---0.4