TSTP Solution File: ALG227+4 by Nitpick---2016