TSTP Solution File: HWV050_6 by Refute---2015