low2_7 solver