first solution generation (by modifying domains)