clingo>=5.6
