TSTP Solution File: ALG251^2 by Nitpick---2016