basic.sat