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