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