206.34/206.88	unsat
