205.47/207.66	unsat
