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