TSTP Solution File: PUZ139_1 by Refute---2015