* bind solve to S