TSTP Solution File: SWV509-1.050 by Mace4---1109a