TSTP Solution File: ALG223+2 by Nitpick---2016