maple.sat