Error: aspcud "-count(removed),-count(changed)"
Message: (UNSAT) No Solutions according to the given preferences
