Search Results for clause-to-variable ratio of 3sat