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