TSTP Solution File: SWW521_5 by Refute---2015