839.94/843.14	unsat
