CLINGO 30804