TSTP Solution File: SWC117-1 by SRASS---0.1