solver sketch