843.87/848.16	unsat
