Pass some solving tests