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