TSTP Solution File: ALG441-10 by Nitpick---2016