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