Factoring integers: triples of integers (x, a, b) such that x has a prime factor in the interval [a, b]
Is in NP. Not known to be NP-complete, P, or co-NP-complete. In BQP due to Shor's algorithm.