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