843.21/848.02	unsat
