TSTP Solution File: HWV050_3 by Refute---2015