Solver update to latest libsexp