TSTP Solution File: SWV580-1 by Mace4---1109a