Akari solver using MIP