TSTP Solution File: RAL050^1 by Nitpick---2016