are satisfiability and gravity related im reading - /sci/ - Xchan