786.39/816.55	unsat
