show description of unsat properties