206.68/207.44	unsat
