Strong_NP-completeness loading ...