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