sketch.sat