Hot: solver