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