TSTP Solution File: REL005-1 by SRASS---0.1