785.88/786.68	unsat
