and on 4 core unsat as well