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