int: objective = 10;

solve maximize objective;