840.37/842.94	unsat
