#ForSMT
2 sketches