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