TSTP Solution File: SEV522+1 by Nitpick---2016