reset; model model.txt; solve; display a,b,c;