rename satisfy as solve