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