783.21/786.09	unsat
