discrete math solver admin12512 – Combatica