849.66/852.47	unsat
