TSTP Solution File: ALG232+4 by Refute---2015