Fix fix. There are no unsat cores in 1.4