Added NP polytime argument for q3