3SAT Uno-en-tres sigue siendo NP-completo.