TSTP Solution File: SEV152^5 by Mace4---1109a