TSTP Solution File: ALG216+1 by Refute---2015