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