268.60/270.74	unsat
