848.18/852.94	unsat
