set of solutions