781.97/784.20	unsat
