Mipt Lib solver Server