TSTP Solution File: PUZ015-2.006 by Refute---2015