3SAT-EXP works