decode e_unsat_fat