840.47/843.94	unsat
