TSTP Solution File: SEV391^5 by leanCoP---2.2