max walk sat roughly coded up