267.15/270.63	unsat
