779.68/780.55	unsat
