simple.sat