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