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