EC3SAT2 implemented