780.35/782.81	unsat
