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