Approaching the Conway-99 problem using SAT solvers — Ali Keramatipour | Kutubxona