modal-prob-solve