minimal solver