TSTP Solution File: ALG422-1 by Nitpick---2016