The Notwist in 3SAT heute