TSTP Solution File: SEU149+2 by Refute---2015