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