266.60/268.34	unsat
