An weak problem solver