784.00/786.04	unsat
