Assymetric SAT to heli