Commit of solver Problem1