TSTP Solution File: SEU824^1 by Refute---2015