Added some hard case proven optima