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