https://123dok.net/document/q05lo5xy-sufficient-conditions-for-mixed-boundary-data-to-have-a-steady-state-two-phase-stefan-signorini-problem-through-variational-inequalities.html