Sharp-P-complete loading ...