782.58/784.59	unsat
