searches for instances with no known full score in hanab.live database and tackles these with SAT solver