205.50/206.28	unsat
