206.09/206.70	unsat
