TSTP Solution File: SWV511-1.050 by Refute---2015