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