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