Defining the main goal for efficient solver