206.66/207.16	unsat
