tiny solver