TSTP Solution File: SET555-6 by SRASS---0.1