Strongly_NP-complete loading ...