207.08/207.47	unsat
