207.06/308.47	unsat
