Fix get_pt_value().
Fix saving solutions.