Additional field for UNSAT parameters