atrilla: linear programming.