TSTP Solution File: PUZ135_1 by Refute---2015