FreeMove 262 SAT