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