introduction of 3SAT-EXP