starting 3SAT-C2
starting 3SAT-C2
3SAT-C2 finished