greedy solver return type included