data for 1QBF is temporarily unavailable at this site