TSTP Solution File: PUZ008-2 by Refute---2015