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