var xoa binary;
var xob binary;
var xoc binary;
var xab binary;
var xat binary;
var xbc binary;
var xbt binary;
var xca binary;
var xct binary;
var y >= 0; #minimax

minimize minimax: y;

s.t. foscenG: y >=  30*xoa +  3*xob + 15*xoc + 
					30*xab +  9*xat + 30*xbc + 
					 3*xbt + 21*xca + 30*xct;

s.t. foscenN: y >=   3*xoa + 30*xob +  9*xoc + 
					 3*xab + 21*xat +  3*xbc + 
					30*xbt + 15*xca +  3*xct;

s.t. foscenP: y >=  21*xoa +102*xob + 19*xoc + 
					21*xab + 55*xat + 21*xbc + 
				   102*xbt + 39*xca + 21*xct;

s.t. balance_o: xoa + xob + xoc = 1;
s.t. balance_t: xat + xbt + xct = 1;
s.t. balance_c: xoc + xbc - (xca + xct) = 0;
s.t. balance_b: xob + xab - (xbc + xbt) = 0;
s.t. balance_a: xoa + xca - (xab + xat) = 0;