TSTP Solution File: PUZ047+1 by Nitpick---2016