Hot: solver32