TSTP Solution File: SEU950^5 by Refute---2015