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