3SAT is working :-)