266.85/267.13	unsat
