double-domination Putki (2881) 3