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