TSTP Solution File: PUZ037-1 by Refute---2015