776.32/780.07	unsat
