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